Critical Software - PDFSEARCH.IO - Document Search Engine

Critical Software
Results: 1293

#	Item
221	RTI Connext DDS Cert Certifiable Messaging Middleware for Safety-Critical Systems Reduce the time, cost and risk required to develop, integrate and certify your safetycritical distributed applications. Connext™ DDS Cer Add to Reading List Source URL: www.rti.com Language: English - Date: 2015-04-10 15:34:03 Computing Embedded operating systems Real-time operating systems Real-Time Innovations Data distribution service VxWorks Operating system Microcontroller System software Middleware Computer architecture
222	Re-Engineering Grep and Diff for NERC CIP Gabriel A. Weaver and Sean W. Smith Rakesh B. Bobba and Edmond J. Rogers Department of Computer Science Add to Reading List Source URL: www.cs.dartmouth.edu Language: English - Date: 2012-06-21 17:59:04 Critical infrastructure protection Infrastructure Security engineering United States Department of Homeland Security Configuration management Grep Windows Registry Diff Unix Computing System software Software
223	Task Supervisor Improving the visibility of critical tasks for IT teams The Business Challenge: Having overall control of IT tasks to support your business operations can be difficult. There are many challenges faced b Add to Reading List Source URL: www.halcyonsoftware.com Language: English - Date: 2015-05-17 08:40:03 IBM Rational Unified Process Software development process Information technology management Software development Science Business process management Formal methods Automation Windows Task Scheduler
224	Client: National Oceanography Centre (NOC) Project: To procure a software solution to perform the critical role of controlling maintenance Add to Reading List Source URL: www.swg.com Language: English - Date: 2014-09-29 11:10:39 Knowledge National Oceanography Centre Computer-aided facility management Network On Chip University of Southampton Oceanography National Oil Corporation Reliability engineering ISO 14000 Property management Management Science
225	SOLUTION Critical Infrastructure Protection Add to Reading List Source URL: www.intergraph.com Language: English - Date: 2012-10-19 10:41:05 GIS software Intergraph Geographic information system
226	Ada 2005 for Mission-Critical Systems José F. Ruiz AdaCore 8 rue de MilanParis, France Phone: +16 Add to Reading List Source URL: www.adacore.com Language: English - Date: 2011-12-15 13:59:45 Ada programming language Real-time computing Embedded systems Scheduling algorithms Ada Ravenscar profile Real-time operating systems SPARK Worst-case execution time Computing Software engineering Computer programming
227	CRYSTAL Seamless Life-Cycle Collaboration for Safety-Critical Systems Engineering Dr. Christian El Salloum Project Coordinator, AVL List GmbH Add to Reading List Source URL: itea3.org Language: English Workflow Business Management Artemis Project management software AVL
228	SCO SOFTTECH PRODUCT SUPPORT SERVICE SCO knows that you are managing systems or development projects where time is critical and that key people depend on you for fast, accurate technical support. SoftTech support is desi Add to Reading List Source URL: www.sco.com Language: English System V SCO OpenServer Linux kernel Unix Technical support SCO Group Software System software Computer architecture
229	Enterprise Password Vault® The Challenge Enforce an enterprise policy that protects your most critical systems, Add to Reading List Source URL: www.edvance.com.hk Language: English - Date: 2014-09-04 05:00:16 Superuser Identity management Security System software Privileged password management Privileged Identity Management Computer security Cyber-Ark Password
230	Towards a framework for the implementation and verification of translations between argumentation models Bas van Gijzel Functional Programming Laboratory School of Computer Science University of Nottingham Add to Reading List Source URL: www.inf.kcl.ac.uk Language: English - Date: 2013-06-09 18:39:18 Higher-order functions Lambda calculus Functional programming Functional languages Critical thinking Argumentation theory Haskell Agda Apply Software engineering Computing Computer programming

UPDATE